3561. Word and object
پدیدآورنده : [By] Willard Van Orman Quine
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical.,Language and languages-- Philosophy
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
3562. Word and object
المؤلف: / Willard Van Orman Quine
المکتبة: (طهران)
موضوع: معنی‌شناسی (فلسفه),Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B840
.
Q5
3563. Word and object
المؤلف: Willard Van Orman Quine,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Semantics )Philosophy(,Logic, Symbolic and mathematical,Language and languages, Philosophy
رده :
B
.
Q5
840
3564. Word and object /
المؤلف: Willard Van Orman Quine ; foreword by Patricia Smith Churchland ; preface to the new edition by Dagfinn Føllesdal
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Language and languages-- Philosophy,Logic, Symbolic and mathematical,Semantics (Philosophy)
رده :
B840
.
Q5
2013
3565. Zeitschrift fur mathematische logik und Grundlagen der Mathematik
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Mathematics-- Period,Logic, Symbolical and mathematical-- Period
رده :
QA
1
.
Z38
3566. Zur Philosophie der Mathematik
المؤلف: Alexander George, Daniel J. Velleman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematik,Philosophie
رده :
QA8
.
4
3568. classical logic-Essays on non
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Nonclassical mathematical logic. ; Tense (Logic) ; Negation (Logic) ;
3569. classical logics /-Arnon Avron on semantics and proof theory of non
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
3570. classical logics-Interval/probabilistic uncertainty and non
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Uncertainty (Information theory) ; Congresses. ; Nonclassical mathematical logic ; Congresses. ;
3571. classical logics, model theory, and computability-Non
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;
3572. classical logics-theoretic aspects of non-Algebraic and proof
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: ; Nonclassical mathematical logic. ; -Mundici, Daniele, ; 1946
3575. foundations of mathematics
المؤلف: Gupta , Parmanand
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G8F6
2008
3576. Fuzzy logic and its application in technology and management
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Fuzzy logic,، Data mining,، Information technology-- Mathematical models,، Management-- Mathematical models
رده :
QA
9
.
64
.
F8935
2007
3577. mathematical proof
المؤلف: / Rowan Garnier, John Taylor
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
3578. 100% mathematical proof
المؤلف: Garnier, Rowan.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
3579. 100% mathematical proof
المؤلف: / Rowan Garnier, John Taylor
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
511
.
3
G236O
1996
